<?php

header('Location: http://'.$_SERVER['HTTP_HOST'].'/tools/');